\begin{denotation}[3cm]
\item[API] 应用程序编程接口（Application Programming Interface）
\item[SSL] 加密套接字协议层（Secure Sockets Layer）
\item[RSSE] 软件工程推荐系统（Recommender Systems for Software Engineering）
\item[CWE] 常见缺陷类型枚举（Common Weakness Enumeration）
\item[OWASP] 开放式Web应用程序安全项目（The Open Web Application Security Project）
\item[CVE] 公共漏洞与暴露库（Common Vulnerabilities and Exposures）
\item[BISL] 接口行为规约描述语言（Behavioral Interface Specification Language）
\item[DSL] 领域特定语言（Domain Specific Language）
\item[CPA] 可配置程序分析（Configurable Program Analysis）
\item[kLOC] 千源代码行 （kilometer Lines Of Code）
\item[SSA] 静态单赋值形式（Static Single Assignment Form）
\item[GUI] 可视化用户接口 （Graphical User Interface）
\item[CFA] 控制流自动机 （Control Flow Automata）
\end{denotation}
